
\section{Workshop Format}

\subsection{Submissions}

In order to make the workshop attractive, this year we will propose different paper categories:

\begin{itemize}
  \item Full papers oriented to present elaborated research results. They should be not more than 10 pages long in Springer LNCS format.
  \item Short papers oriented to briefly present research results or ongoing work. They should be 8 pages long in Springer LNCS format.
  \item Demo papers oriented to present model transformation verification/testing tools. They should be 6 pages long in Springer LNCS format.
\end{itemize}

\noindent Contributions will be handled with EasyChair and will be peer-reviewed by at least three PC members.


\subsection{Publication}

We expect the accepted papers to be published as pre-workshop proceedings on the \VOLT website. As post-workshop proceedings we aim for CEUR workshop (\url{http://ceur-ws.org}) proceedings.
In addition, we plan to invite the best papers of \VOLT 2014 for a JOT special issue \url{http://www.jot.fm/index.html} as we have done for \VOLT 2013.

%\subsection{Advertisement}
%
%In order to advertise \VOLT we will use the typical mailing list, which have proved effective while publicizing previous workshops we have organized.
%In particular, we will use the widely known SEWORLD, DBWORLD, Planet-MDE, Planet-SLE, GraTra, and ECOOP mailing lists. Furthermore, we will also use social networks, online groups of interest, and micro-blogging platforms (such as Twitter). We will also contact the participants of previous edition of the VOLT workshop. In addition, we will announce the workshop on websites of projects related to the topics of the workshop and use their mailing lists to post the \VOLT 2014 call for papers.
%
%The organizers, as well as our PC members, have established networks within the model transformations, graph transformation, formal verification, model checking, theorem proving, and model-based testing communities.
%We will make use of these networks to promote \VOLT 2014 by directly announcing it to potentially interested scientists in the domain.
%We will also ask the members of the Program Committee to help us in this task.
%
%Finally, the Workshop will be promoted as relevant for both an academic and industrial audience.
%We will welcome case studies and real-life applications of model transformations verification, having as a consequence that part of the Workshop can serve as a forum for discussing practical applications of model transformations and their verification.
%Another goal would also be to collect industrial experience such that those pragmatic model transformation verification problems can stated and tackled at a theoretical level.

\subsection{Workshop Format}

This one-day workshop aims to favor discussions and experience exchanges in a highly interactive fashion.
Therefore, the workshop day will be divided into the following parts:
%
\begin{itemize}
	\item the morning session will start with an invited keynote talk;
    \item the rest of the morning session will be dedicated to paper presentations by the contributed authors and to collect research questions for the afternoon session;
	\item the afternoon session will favor working groups for the attendants to discuss and brainstorm on specific topics raised by morning presentations.
        Each group will at the end of the session present its ideas to the audience in order to broaden the discussions further.
\end{itemize}

After each presentation in the morning session, enough time will be allowed for discussion. To stimulate these discussions, we assign to each paper a ``devil’s advocate'' between the authors of other accepted papers, who is supposed to read the paper before the workshop, to prepare a set of controversial questions (typically, one to three questions), and to step into the discussion when appropriate.

For the afternoon session, we will prepare some preliminary topics for discussion, and adapt them according to the audience's concerns:
%
\begin{itemize}
	\item pragmatic properties of (industrial) model transformations;
	\item property preservation for model transformations;
	\item taxonomy of techniques for the verification of model transformations;
	\item verifiability of properties of model transformation and model transformation languages.
\end{itemize}


\subsection{Website and Equipment}

The website of VOLT 2014 will be up shortly. We refer the reviewer to last year's website as a basis: \emph{\url{http://www.hpi.uni-potsdam.de/giese/events/2013/volt/}}.

The equipment required for VOLT is a desktop projector for the presentations, and a whiteboard as well as one or two flipchart(s) for discussion phases (to allow for working in groups).
